Interpreting Quantier Combinations Hintikka's Thesis Revisited
نویسندگان
چکیده
We discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantication to express their meaning. Our basic assumption is that a criterion for adequacy of meaning representation is compatibility with sentence truth-conditions. This can be established by observing linguistic behavior of language users. We investigate sentences with combinations of quan-tiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on logical and philosophical observations. Moreover, we report on experiments showing that people tend to interpret sentences similar to Hintikka's sentence in a way consistent with our interpretation.
منابع مشابه
ACADEMIC WRITING REVISITED: A PHRASEOLOGICAL ANALYSIS OF APPLIED LINGUISTICS HIGH-STAKE GENRES FROM THE PERSPECTIVE OF LEXICAL BUNDLES
Lexical bundles are frequent word combinations that commonly appear in different registers. They have been the subject of much research in the area of corpus linguistics during the last decade. While most previous studies of bundles have mainly focused on variations in the use of these word combinations across different registers and a number of disciplines, not much research has been done to e...
متن کاملHintikka's Revolution: The Principles of Mathematics Revisited
The title of this book refers to Bertrand Russell's The Principles of Mathematics, but it does not deal with Russell's ideas. Jaakko Hintikka sees his book in a similar role to that enjoyed by Russell's, almost a century ago. It is 'crisis science', aimed at establishing a new paradigm in the foundations of mathematics. Hintikka presents a new formalism and a new logic, together with a new sema...
متن کاملInteractive Realizers and Monads
We propose a realizability interpretation of a system for quantier free arithmetic which is equivalent to the fragment of classical arithmetic without nested quantiers, called here EM1-arithmetic. We interpret classical proofs as interactive learning strategies, namely as processes going through several stages of knowledge and learning by interacting with the “environment” and with each other. ...
متن کاملThe hygiene hypothesis revisited
To date, a large body of data supports the hygiene hypothesis. However, the explanation of the relationship of autoimmune and allergic diseases with a decrease in microbial load still seems insufficient. Here, an attempt is made at interpreting the available data in terms of a new perspective on infection and immunity.
متن کاملQuantier Elimination by Lazy Model Enumeration *
We propose a quantifier elimination scheme based on nested lazy model enumeration through SMT-solving, and projections. This scheme may be applied to any logic that fulfills certain conditions; we illustrate it for linear real arithmetic. The quantifier elimination problem for linear real arithmetic is doubly exponential in the worst case, and so is our method. We have implemented it and benchm...
متن کامل